home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / t3_1 / doc.lha / documentation / manual / tmac.lib < prev    next >
Text File  |  1987-06-30  |  2KB  |  67 lines
  1. @marker [library, tmac, imagen]
  2.  
  3. @Comment{ Device dependent macros -- others are in TMAN.LIB
  4.  
  5.  @tau[]               - always use this for the name of the system
  6.  @qu"TEXT"          - puts double quotes around TEXT
  7.  @dash[]          - produces an em dash in text
  8.  @ce[]              - indicates Code Equivalence, (triple bar character)
  9.  @el[]              - marks ELementary features   (triagular point) (@cmma[x])
  10.  @yl[]              - an arrow pointing right indicating "yields"
  11.  @le[]              - a "less than or equal" character (if possible)
  12.  @lambda[]          - a lambda character (if possible)
  13.  @ev[]              - indicates EValuation (a double bodied right arrow)
  14.  @tilde[]          - a tilde, because the imagen R tilde sucks
  15. }
  16.  
  17. @modify[ProgramExample, FaceCode 2]
  18.  
  19. @define[tc, FaceCode 2, TabExport]
  20.  
  21. @define [C, Facecode C, TabExport]
  22.  
  23. @textform <tau  = "T",
  24.        timp = "Tau",
  25.            qu   = <@cmrs[j]@PARM[Text]@CMR["]>,
  26.        el   = "",
  27.        ce   = "@cmsys[Q]",
  28.        dash = "@cmrs[l]",
  29.        yl   = "@cmsy[!]",
  30.        le   = "@cmsys[T]",
  31.        lambda = "@cmg[l]",
  32.        ev   = "@cmsy<)>"
  33.        >
  34.  
  35. @textform <
  36.  tilde= "@tc[~]",
  37.  LightBar = "@begin[format, above 0, below 0]@&@cmrs[l]@hsp[-10pt]@end[format]",
  38.  OldDraftCommentMarker = "@begin(b, size 9)@!@+[DRAFT]@/@-[REMARK]@end(b):",
  39.  DraftCommentMarker = ""
  40.  >
  41.  
  42. @marker [library, tmac]
  43.  
  44. @define[tc=r, TabExport]
  45.  
  46. @DefineFont [BodyFont]
  47.  
  48. @textform <tau  = "T",
  49.        timp = "Tau",
  50.        qu   = <"@PARM[Text]">,
  51.        dash = "--",
  52.        el   = "",
  53.        ce   = "<=>",
  54.        yl   = "->",
  55.        le   = "<=",
  56.        lambda = "LAMBDA",
  57.        ev   = "=>"
  58.        >
  59.  
  60. @Comment{ LightBar = Crossbar for LPT }
  61. @textform <
  62.   tilde= "~",
  63.   LightBar = "@begin[format, above 0, below 0]@&_@hsp[-10pt]@end[format]",
  64.   DraftCommentMarker = "@b[DC]:"
  65.   >
  66.  
  67.